Timed Control with Observation Based and Stuttering Invariant Strategies
نویسندگان
چکیده
In this paper we consider the problem of controller synthesis for timed games under imperfect information. Novel to our approach is the requirements to strategies: they should be based on a finite collection of observations and must be stuttering invariant in the sense that repeated identical observations will not change the strategy. We provide a constructive transformation to equivalent finite games with perfect information, giving decidability as well as allowing for an efficient on-the-fly forward algorithm. We report on application of an initial experimental implementation.
منابع مشابه
Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملUsing syllable-timed speech to treat preschool children who stutter: a multiple baseline experiment.
UNLABELLED This report presents the results of an experimental investigation of the effects of a syllable-timed speech treatment on three stuttering preschool children. Syllable-timed speech involves speaking with minimal differentiation in linguistic stress across syllables. Three children were studied in a multiple baseline across participants design, with percent syllables stuttered (%SS) as...
متن کاملComparison of Parenting Style in Mothers of Children with and without Stuttering: ACase-Control Study
Abstract Background and Aim: Stuttering is a interactional disorder. How to parental relationship with the child is strongest effective factor on family interaction patterns. Parenting styles including standards and regulation that are established by parents for their children. Child progression in learning of language is derived from a complex combination of environmental and biological affec...
متن کاملStatic Path Compression in Timed Systems
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compression. The idea behind the path compression consists in identifying a path (or a set of paths) on which a process executes a sequence of transitions that do not influence a reachability property being verified, and r...
متن کاملمقایسه کیفیت زندگی بزرگسالان دچار لکنت با افراد بدونلکنت با تأکید بر شدت لکنت
Objective Stuttering can negatively impact the quality of life and cause psychosocial problems for individuals who stutter. The Overall Assessment of the Speaker’s Experience of Stuttering for Adults (OASES-A) is a comprehensive psychological test containing four components in which the fourth one focuses on the quality of life. The main purpose of this study is to examine the quality of ...
متن کامل